The Datalog Combination of Deduction Rules and Description Logics
نویسندگان
چکیده
JING MEI, HAROLD BOLEY, JIE LI, VIRENDRAKUMAR C. BHAVSAR, ZUOQUAN LIN 1 Department of Information Science, Peking University, Beijing 100871, China {mayyam, lz} AT is.pku.edu.cn Faculty of Computer Science, University of New Brunswick, Fredericton, NB, E3B 5A3, Canada {Jie.Li, bhavsar} AT unb.ca National Research Council of Canada, Fredericton, NB, E3B 9W4, Canada {Harold.Boley, Jie.Li} AT nrc.gc.ca
منابع مشابه
DL+log: Tight Integration of Description Logics and Disjunctive Datalog
The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge bases (DL-KBs) and Datalog programs is undecidable. Many proposals have overcomed this problem through a “safeness” condition that limits the interaction between the DL-KB and the Datalog rules. Such a safe...
متن کاملThe Datalog Combination of Deduction
Permission is granted to quote short excerpts and to reproduce figures and tables from this report, provided that the source of such material is fully acknowledged. Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces Datalog DL as a family of hybrid languages, where Datalog rules...
متن کاملEfficient Query Answering over Fuzzy EL-OWL Based on Crisp Datalog Rewritable Fuzzy EL++
OWL EL is an extension of the tractable EL description logic. Despite their inference capabilities over TBoxes, DL reasoners have a high ABox reasoning complexity which may constitute a serious limitation in the Semantic Web where we rely mainly on query answering (i.e. instance checking). The subsomption algorithm used in fuzzy EL reduce instance checking into concept satisfiability. To allow ...
متن کاملDescription Logics and Disjunctive Datalog - The Story so Far
In this paper we present an overview of our recent work on the relationship between description logics and disjunctive datalog. In particular, we reduce satisfiability and instance checking in SHIQ to corresponding problems in disjunctive datalog. This allows us to apply practically successful deductive database optimization techniques, such as magic sets. Interestingly, the reduction also allo...
متن کاملOn Combining Description Logic Ontologies and Nonrecursive Datalog Rules
Reasoning in systems integrating Description Logics (DL) ontologies and Datalog rules is a very hard task, and previous studies have shown undecidability of reasoning in systems integrating (even very simple) DL ontologies with recursive Datalog. However, the results obtained so far constitute a very partial picture of the computational properties of systems combining DL ontologies and Datalog ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007